#ifndef __EKOS_KERNEL_DEBUG_H__
#define __EKOS_KERNEL_DEBUG_H__

void monitor(struct trapframe_t *tf);
	 
#endif
